![arXiv:2210.00833v1 [cs.AR] 2022 年 10 月 3 日](/simg/b/b0d0b4c957de5d7ae82dc577c10f5b166450d54b.webp)
机构名称：
¥ 1.0
如今，对安全有要求的应用程序已无处不在，可在各种边缘设备中找到。然而，这些设备中的微控制器尽管通过实现多核和缓存层次结构提供了中等性能，但可能无法提供足够的支持来实施最高完整性级别所需的某些安全措施，比如锁步执行，以避免所谓的共因故障（即影响冗余组件的故障导致所有冗余组件出现相同的错误）。为了解决这一限制，最近在 [ 2 ] 中提出了一种基于软件监视器的方法，该方法在内核之间强制执行某种基于软件的锁步执行，并提供了概念证明。本文介绍了 SafeSoftDR，这是一个库，它提供了一个标准接口，用于在非原生锁步内核上部署基于软件的锁步执行，从而减轻了最终用户创建冗余进程、复制输入/输出数据和执行结果比较的负担。我们的库已经在基于 x86 的 Linux 上进行了测试，目前正在集成到针对安全相关应用的开源 RISC-V 平台上，从而为安全关键型应用提供了便捷的环境。
arXiv:2210.00833v1 [cs.AR] 2022 年 10 月 3 日
主要关键词
![arXiv:2210.00833v1 [cs.AR] 2022 年 10 月 3 日PDF文件第1页](/bimg/7/7a69b678bff09d8025dccfe0a5674636655c25a4.webp)
![arXiv:2210.00833v1 [cs.AR] 2022 年 10 月 3 日PDF文件第2页](/bimg/0/07f59617e24771e69f241604aeb2058cd0e5fb69.webp)
![arXiv:2210.00833v1 [cs.AR] 2022 年 10 月 3 日PDF文件第3页](/bimg/8/8797cea413a89965e4fdfa881fc9a84b84b64832.webp)
![arXiv:2210.00833v1 [cs.AR] 2022 年 10 月 3 日PDF文件第4页](/bimg/e/e5b924fc3d7e74cd70c38952e390f7648ad8ea1d.webp)
相关文件推荐
![arXiv:2210.00881v1 [cs.AI] 2022 年 9 月 23 日](/simg/1/1712e871bec82f88be930b368883f57dd34b3191.png)
![arXiv:2208.05533v1 [physics.optics] 2022 年 8 月 10 日](/simg/9/942b8ffd73f6ffebaa80cb0785497872af2a5f71.webp)
![arXiv : 2207 .04262v1 [ q - bio . NC ] 2022 年 7 月 9 日](/simg/1/12acb26c49d7fa304a93efc7ea3f69e3f18c5371.webp)
![arXiv:2209.03929v1 [cs.AI] 2022 年 9 月 8 日](/simg/6/672d2fccbb7f9f52b3d9ec2bc1af4cb846806851.png)
![arXiv:2112.12754v2 [cs.AI] 2022 年 2 月 6 日](/simg/2/2ae1c7ced0b6cb3a6dbfb3b7bdbff743ba4ccf33.png)
![arXiv:2201.02950v1 [cs.AI] 2022 年 1 月 9 日](/simg/7/7950d74bd5d43cfd47f19f081b684a20edfbc27a.png)
![arXiv:2208.02886v1 [cs.AI] 2022 年 8 月 4 日](/simg/1/1c9e25aca4e4de77bf16485751b3063f311615e9.png)
![arXiv:2205.12749v2 [cs.AI] 2022 年 7 月 1 日](/simg/2/2065ed9bc53d9d49461c4886d3dbb8f82d668f71.png)